Strict Serializability
=>
Linearizability